549 search results for "tag:"C""

Showing 501 - 549
  1. websocket-async
    Documentation
    Websocket library (Async)
    org:mirage org:xapi-project
    Vincent Bernardoff <vb@luminar.eu.org>
    2.16
    ISC
    Used by 1 other packages
    03 Jan 2023
  2. websocket-lwt
    Documentation
    Websocket library (Lwt)
    org:mirage org:xapi-project
    Vincent Bernardoff <vb@luminar.eu.org>
    2.12
    Used by 2 other packages
    04 Oct 2018
  3. websocket-lwt-unix
    Documentation
    Websocket library (Lwt)
    org:mirage org:xapi-project
    Vincent Bernardoff <vb@luminar.eu.org>
    2.16
    ISC
    Used by 8 other packages
    03 Jan 2023
  4. why

    No documentation

    Why is a software verification platform.
    deductive program verification specification automated theorem prover interactive theorem prover Java JML C ACSL
    Jean-Christophe Filliâtre Claude Marché Yannick Moy Romain Bardou
    2.41
    LGPL-2.1-only
    Used by 0 other packages
    03 Jul 2018
  5. why3
    Documentation
    Why3 environment for deductive program verification
    deductive program verification formal specification automated theorem prover interactive theorem prover
    François Bobot Jean-Christophe Filliâtre Claude Marché Guillaume Melquiond Andrei Paskevich
    1.7.2
    LGPL-2.1-only
    Used by 8 other packages
    22 Apr 2024
  6. why3-base

    No documentation

    Why3 environment for deductive program verification (base)
    deductive program verification formal specification automated theorem prover interactive theorem prover
    François Bobot Jean-Christophe Filliâtre Claude Marché Guillaume Melquiond Andrei Paskevich
    0.88.3
    LGPL-2.1-only
    Used by 1 other packages
    12 Jan 2018
  7. why3-coq
    Documentation
    Why3 environment for deductive program verification
    deductive program verification formal specification automated theorem prover interactive theorem prover
    François Bobot Jean-Christophe Filliâtre Claude Marché Guillaume Melquiond Andrei Paskevich
    1.7.2
    LGPL-2.1-only
    Used by 0 other packages
    22 Apr 2024
  8. why3-ide
    Documentation
    Why3 environment for deductive program verification
    deductive program verification formal specification automated theorem prover interactive theorem prover
    François Bobot Jean-Christophe Filliâtre Claude Marché Guillaume Melquiond Andrei Paskevich
    1.7.2
    LGPL-2.1-only
    Used by 0 other packages
    22 Apr 2024
  9. why3find
    Documentation
    A Why3 Package Manager
    topics why3
    Loïc Correnson <loic.correnson@cea.fr> Benjamin Jorge <benjamin.jorge@cea.fr>
    1.0
    LGPL-2.1-only
    Used by 0 other packages
    16 May 2024
  10. ws

    No documentation

    Generic websocket implementation for OCaml
    monad io interface interface-prime websocket ws
    Dorian Peake <dorian@vereia.com>
    0.1
    Used by 0 other packages
    18 Jan 2019
  11. wu-manber-fuzzy-search
    Documentation
    Wu-Manber approximate string matching
    wu-manber baeza-yates-gonnet bitap algorithm levenshtein demarau-levenshtein edit distance approximate fuzzy string search matching
    Ifaz Kabir
    0.1.0
    CC0-1.0
    Used by 0 other packages
    19 Jan 2022
  12. xapi-backtrace
    Documentation
    A simple library for recording and managing backtraces
    org:xapi-project
    xen-api@lists.xen.org
    0.7
    Used by 2 other packages
    23 Dec 2020
  13. xapi-forkexecd

    No documentation

    Sub-process control service for xapi
    org:xapi-project
    xen-api@lists.xen.org
    1.4.0
    Used by 3 other packages
    06 Jun 2017
  14. xapi-idl

    No documentation

    Interface descriptions and common boilerplate for xapi services.
    org:xapi-project
    Dave Scott
    1.14.0
    Used by 4 other packages
    06 Jun 2017
  15. xapi-inventory
    Documentation
    Library for accessing the xapi toolstack inventory file
    org:xapi-project
    xen-api@lists.xen.org
    1.2.3
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    17 Jun 2022
  16. xapi-libs-transitional

    No documentation

    Further transitional libraries required by xapi
    org:xapi-project
    Jon Ludlam
    1.0.1
    Used by 2 other packages
    15 Jun 2017
  17. xapi-rrd
    Documentation
    RRD library for use with xapi
    org:xapi-project
    Dave Scott Jon Ludlam John Else
    1.12.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    12 Dec 2023
  18. xapi-rrd-transport

    No documentation

    Shared-memory protocols for exposing performance counters
    org:xapi-project
    Jon Ludlam
    1.2.0
    Used by 1 other packages
    15 Jun 2017
  19. xapi-rrdd

    No documentation

    Performance monitoring daemon for xapi
    org:xapi-project
    Jon Ludlam
    1.2.1
    Used by 0 other packages
    15 Jun 2017
  20. xapi-stdext

    No documentation

    A deprecated collection of utility functions
    org:xapi-project
    xen-api@list.xen.org
    2.1.0
    Used by 7 other packages
    06 Jun 2017
  21. xapi-tapctl

    No documentation

    A library to control tapdisk on a Xen host
    org:xapi-project
    xen-api@lists.xen.org
    1.0.1
    Used by 1 other packages
    06 Jun 2017
  22. xapi-xenops

    No documentation

    Create/destroy/manipulate Xen domains
    org:xapi-project
    xen-api@lists.xen.org
    1.0.1
    Used by 1 other packages
    15 Jun 2017
  23. xcursor
    Documentation
    A pure implementation of Xcursor in OCaml
    desktop gui cursor xcursor
    Yilin Wei
    0.1.0
    MIT
    Used by 0 other packages
    24 Dec 2022
  24. xe

    No documentation

    A command-line client for the 'xapi' service (as used in XenServer)
    org:xapi-project
    0.6.3
    Used by 0 other packages
    22 Dec 2014
  25. xen-api-client

    No documentation

    Xen-API client library for remotely-controlling an XCP or XenServer host.
    org:mirage org:xapi-project
    David Scott Anil Madhavapeddy Jerome Maloberti John Else Jon Ludlam et al.
    0.9.14
    LGPL-2.0-or-later
    Used by 1 other packages
    06 Jun 2017
  26. xen-block-driver

    No documentation

    Xen disk device drivers: both client ("frontend") and server ("backend")
    org:mirage org:xapi-project
    0.2.5
    Used by 1 other packages
    21 Nov 2013
  27. xen-disk

    No documentation

    A command-line tool for attaching disks to VMs running on a xen host.
    org:mirage org:xapi-project
    1.2.1
    Used by 0 other packages
    11 Feb 2014
  28. xen-evtchn
    Documentation
    Xen event channel interface for MirageOS
    org:mirage org:xapi-project
    Vincent Hanquez Anil Madhavapeddy David Scott Jonathan Ludlam
    2.1.0
    Used by 9 other packages
    13 Feb 2019
  29. xen-evtchn-unix
    Documentation
    Xen event channel interface for Linux
    org:mirage org:xapi-project
    Vincent Hanquez Anil Madhavapeddy David Scott Jonathan Ludlam
    2.1.0
    Used by 1 other packages
    13 Feb 2019
  30. xenbigarray

    No documentation

    Portable Bigarray intended for embedded Xen use
    org:mirage org:xapi-project
    1.0.0
    Used by 1 other packages
    21 Nov 2013
  31. xenctrl

    No documentation

    Low-level Xen hypercall bindings.
    org:mirage org:xapi-project
    David Scott Jonathan Ludlam Andrew Cooper Bob Ball Euan Harris et al.
    0.10.0
    LGPL-2.0-or-later
    Used by 9 other packages
    01 Aug 2017
  32. xenstore_transport
    Documentation
    Low-level libraries for connecting to a xenstore service on a xen host
    org:mirage org:xapi-project
    Christian Lindig David Scott Euan Harris John Else Jon Ludlam et al.
    1.3.0
    LGPL-2.1-only
    Used by 11 other packages
    22 Jan 2021
  33. xmlm
    Documentation
    Streaming XML codec for OCaml
    xml codec org:erratique
    The xmlm programmers
    1.4.0
    ISC
    Used by 46 other packages
    09 Feb 2022
  34. yaml
    Documentation
    Parse and generate YAML 1.1/1.2 files
    org:mirage org:ocamllabs
    Anil Madhavapeddy <anil@recoil.org> Rizo Isrof <rizo@odis.io> Patrick Ferris favonia@gmail.com Alan J Hu <alanh@ccs.neu.edu>
    3.2.0
    ISC
    Used by 22 other packages
    06 Nov 2023
  35. yaml-sexp
    Documentation
    Parse and generate YAML 1.1 files
    org:mirage org:ocamllabs
    Anil Madhavapeddy <anil@recoil.org> Rizo Isrof <rizo@odis.io> Patrick Ferris favonia@gmail.com Alan J Hu <alanh@ccs.neu.edu>
    3.2.0
    ISC
    Used by 2 other packages
    06 Nov 2023
  36. yocaml
    Documentation
    YOCaml It is a static site generator, mostly written in OCaml
    shell bin make static blog generator
    The XHTMLBoy <xhtmlboi@gmail.com>
    1.0.0
    GPL-3.0-or-later
    Used by 8 other packages
    21 Nov 2023
  37. yocaml_cmark
    Documentation
    YOCaml Common Mark processor
    shell bin make static blog generator
    The XHTMLBoy <xhtmlboi@gmail.com> Pierre Ruyter <grimfw@gmail.com>
    1.0.0
    GPL-3.0-or-later
    Used by 0 other packages
    21 Nov 2023
  38. yocaml_git
    Documentation
    YOCaml Runtime using Git as target
    shell bin make static blog generator
    The XHTMLBoy <xhtmlboi@gmail.com> Xavier Van de Woestyne <xaviervdw@gmail.com>
    1.0.0
    GPL-3.0-or-later
    Used by 0 other packages
    21 Nov 2023
  39. yocaml_jingoo
    Documentation
    Deal with Jingoo in YOCaml
    shell bin make static blog generator
    The XHTMLBoy <xhtmlboi@gmail.com> Pierre Ruyter <grimfw@gmail.com>
    1.0.0
    GPL-3.0-or-later
    Used by 0 other packages
    21 Nov 2023
  40. yocaml_markdown
    Documentation
    YOCaml Markdown processor
    shell bin make static blog generator
    The XHTMLBoy <xhtmlboi@gmail.com> Pierre Ruyter <grimfw@gmail.com>
    1.0.0
    GPL-3.0-or-later
    Used by 0 other packages
    21 Nov 2023
  41. yocaml_mustache
    Documentation
    Deal with Mustache in YOCaml
    shell bin make static blog generator
    The XHTMLBoy <xhtmlboi@gmail.com> Pierre Ruyter <grimfw@gmail.com>
    1.0.0
    GPL-3.0-or-later
    Used by 0 other packages
    21 Nov 2023
  42. yocaml_syndication
    Documentation
    YOCaml Syndication
    shell bin make static blog generator
    The XHTMLBoy <xhtmlboi@gmail.com> Xavier Van de Woestyne <xaviervdw@gmail.com>
    1.0.0
    GPL-3.0-or-later
    Used by 0 other packages
    21 Nov 2023
  43. yocaml_unix
    Documentation
    YOCaml Unix runtime
    shell bin make static blog generator
    The XHTMLBoy <xhtmlboi@gmail.com> Pierre Ruyter <grimfw@gmail.com>
    1.0.0
    GPL-3.0-or-later
    Used by 0 other packages
    21 Nov 2023
  44. yocaml_yaml
    Documentation
    Deal with Yaml in YOCaml
    shell bin make static blog generator
    The XHTMLBoy <xhtmlboi@gmail.com> Pierre Ruyter <grimfw@gmail.com>
    1.0.0
    GPL-3.0-or-later
    Used by 0 other packages
    21 Nov 2023
  45. zar
    Documentation
    Formally verified sampling from discrete probability distributions
    zar random sampler verified coq discrete
    Alexander Bagnall
    0.9.3
    MIT
    Used by 0 other packages
    17 Feb 2024
  46. zipc
    Documentation
    ZIP archive and deflate codec for OCaml
    codec zip deflate zlib org:erratique
    The zipc programmers
    0.2.0
    ISC
    Used by 0 other packages
    24 Jan 2024
  47. zipperposition
    Documentation
    A fully automatic theorem prover for typed higher-order and beyond
    logic unification term superposition prover
    Simon Cruanes Petar Vukmirovic Alexander Bentkamp Sophie Tourret Visa Nummelin
    2.1
    BSD-2-Clause
    Used by 0 other packages
    05 Sep 2021
  48. zstd
    Documentation
    Bindings to zstd compression library
    org:ygrek clib:zstd
    ygrek
    0.4
    BSD-3-Clause
    Used by 0 other packages
    08 Apr 2024
  49. zxcvbn
    Documentation
    Bindings for the zxcvbn password strength estimation library
    org:cryptosense
    Nathan Rebours <nathan.p.rebours@gmail.com>
    2.4+1
    BSD-2-Clause
    Used by 0 other packages
    02 Sep 2020
... 9 10 11